Theoremproving system
[计] 定理证明系统
🧩 词语组成解析
[计] 定理证明
🗣️ 情景例句
Remind me to leave at twelve forty-five.
提醒我十二点四十五分走。
I have a lot of trouble with pronunciation.
我有发音的很多毛病。
At that time he had two helpers.
那时他有两个帮手。